Evaluating Straight-Line Programs over Balls

Joris van der Hoeven (1) , Grégoire Lecerf (2)

1 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
2 Équipe Max

Interval arithmetic achieves numerical reliability for a wide range of applications, at the price of a performance penalty. For applications to homotopy continuation, one key ingredient is the efficient and reliable evaluation of complex polynomials represented by straight-line programs. This is best achieved using ball arithmetic, a variant of interval arithmetic. In this article, we describe strategies for reducing the performance penalty of basic operations on balls. We also show how to bound the effect of rounding errors at the global level of evaluating a straight-line program. This allows us to introduce a new and faster "transient" variant of ball arithmetic.

Mots clés: ball arithmetic; polynomial evaluation; software implementation

Domaines: Logiciel mathématique [cs.MS]

Joris van der Hoeven, Grégoire Lecerf. Evaluating Straight-Line Programs over Balls. 2015. ⟨hal-01225979⟩